<%@ page import="java.util.Objects" %><%--
  Created by IntelliJ IDEA.
  User: humeng
  Date: 2022/10/24
  Time: 14:14
  To change this template use File | Settings | File Templates.
--%>
<%@ page contentType="text/html;charset=UTF-8" language="java" %>
<html>
<head>
    <title>3</title>
</head>
<body>
<%
  HttpSession session1 = request.getSession();
  String username = (String) session1.getAttribute("username");
  if (Objects.isNull(username)){
      response.sendRedirect("1.jsp");
      out.println("");
      return;
  }
  out.println("欢迎"+username+"用户登陆");
%>
</body>
</html>
